Inverse problems of symbolic dynamics

Open Problems in Symbolic Dynamics

Symbolic Generation of Parallel Solvers for Inverse Imaging Problems

Medical Image Reconstruction is characterized by requirements to (1) process high volumes of data quickly so sick patients need not wait or be called back for re-imaging, and (2) provide the highest level of software quality, including both correctness and safety. Parallelization today allows very high levels of performance, at the cost of duplicating hardware resources and increasing software ...

Nonlinear dynamics in mixed inverse problems

Forward Dynamics Solutions to Multi - Modal Inverse Dynamics Problems

In human motion studies, inverse dynamics analysis is the standard technique used to gain insight into the net summation of all muscle activity at each joint. In the inverse dynamics method, the joint forces and joint moments of force are calculated from a prescribed movement. Since the segmental movements, in contrast to the internal forces, can be measured, this method is commonly applied for...

Recent Aspects of Mass Problems: Symbolic Dynamics and Intuitionism

Mass Problems: A set P ⊆ {0,1} may be viewed as a mass problem, i.e., a decision problem with more than one solution. By definition, the solutions of P are the elements of P . A mass problem is said to be solvable if at least one of its solutions is recursive. A mass problem P is said to be Muchnik reducible to a mass problem Q if for each solution of Q there exists a solution of P which is Tur...